Falsifying Oscillation Properties of Parametric Biological Models
نویسندگان
چکیده
We propose an approach to falsification of oscillation properties of parametric biological models, based on the recently developed techniques for testing continuous and hybrid systems. In this approach, an oscillation property can be specified using a hybrid automaton, which is then used to guide the exploration in the state and input spaces to search for the behaviors that do not satisfy the property. We illustrate the approach with the Laub-Loomis model for spontaneous oscillations during the aggregation stage of Dictyostelium.
منابع مشابه
ارزیابی توابع انتقالی پارامتریک برای تخمین منحنی مشخصه آب خاک در استان فارس
Soil water characteristic curve shows the relationship between soil water content and matric suction, which has an important role in water movement in the soil. The measurement of this curve is expensive and time-consuming in laboratory therefore, many methods have been proposed for its estimation including pedotransfer functions. By using the pedotransfer functions, soil water characteristic c...
متن کاملIntroducing of Dirichlet process prior in the Nonparametric Bayesian models frame work
Statistical models are utilized to learn about the mechanism that the data are generating from it. Often it is assumed that the random variables y_i,i=1,…,n ,are samples from the probability distribution F which is belong to a parametric distributions class. However, in practice, a parametric model may be inappropriate to describe the data. In this settings, the parametric assumption could be r...
متن کاملTime-Evolution of Collective Meson Fields and Amplification of Quantum Meson Modes in Chiral Phase Transition
The time evolution of quantum meson fields in the O(4) linear sigma model is investigated in a context of the dynamical chiral phase transition. It is shown that amplitudes of quantum pion modes are amplified due to both mechanisms of a parametric resonance and a resonance by the forced oscillation according to the small oscillation of the chiral condensate in the late time of chiral phase tran...
متن کاملBiological Models for Protecting Different Land Use in Arid Areas China
There are more than 750 counties in 13 provinces and autonomous regionsconstituting 30% of China lands which are facing serious problem of desertification. Theseareas are mainly distributed in arid, semi-arid and dry sub-humid areas in the western part ofNortheast China, North central china and most of northwest china. Biological methods are theultimate way for drift sand stabilization and a fu...
متن کاملRegression Modeling for Spherical Data via Non-parametric and Least Square Methods
Introduction Statistical analysis of the data on the Earth's surface was a favorite subject among many researchers. Such data can be related to animal's migration from a region to another position. Then, statistical modeling of their paths helps biological researchers to predict their movements and estimate the areas that are most likely to constitute the presence of the animals. From a geome...
متن کامل